Celestin Apprentice 7/Apprentice-Release7.iso/Source Code/C/Applications/Moscow ML 1.42/src/test/test8.sml

Text File | 1997-08-18 | 220 b | 11 lines | [TEXT/R*ch]

datatype 'a arex =
    ADD   of 'a binary
  | SUB   of 'a binary
  | MINUS of 'a unary
  | TIP   of 'a
withtype 'a binary = 'a arex * 'a arex
     and 'a unary = 'a arex
;

val a1 = MINUS(ADD(TIP 1, SUB(TIP 2, TIP 5)));